More from this Author

Recent Trends in Algebraic Development Techniques

by José Luiz Fiadeiro (Editor), Pierre-Yves Schobbens (Editor)

Recent Trends in Algebraic Development Techniques

by José Luiz Fiadeiro (Editor), Ionu&#539, &#538, u&#539, u (Editor)

Formal Aspects of Component Software

by José Luiz Fiadeiro (Editor), Zhiming Liu (Editor), Jinyun Xue (Editor)